161. Programming in Ada
Author: Wiener, Richard
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
W53
1983


162. Programming in Ada 2005
Author: Barnes, John
Library: (Semnan)
Subject: ، Ada )computer program language(
Classification :
QA
76
.
73
.
B3P7


163. Programming in Ada
Author: / Jean-Paul Tremblay, John M. DE Dourek, Verna J. Friesen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Ada (Computer program language),Computers Programming
Classification :
QA76
.
73
.
A35T74
1990


164. Programming in Ada
Author: Tremblay, Jean-Paul
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
T74
1990


165. Programming in Ada: plus an overview of ADA 9X
Author: Barnes, J. G. P.)John Gilbert Presslie(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
76
.
A16
B37
1994


166. Programming in Ada : plus language reference manual
Author: Barnes, John Gilbert Presslie
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
B38
1991


167. Programming in ada
Author: BARNES,JOHN GILBERT PRESSLIE
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE(
Classification :
QA
76
.
73
.
A35
B37
1989


168. Programming with Ada: an introduction by means of graduated examples
Author: Wegner, Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
W46
1980


169. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
Author: David Luckham,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: ANNA )Computer program language(,Ada )Computer program language(
Classification :
QA
.
A54L83
76
.
73
1990


170. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
Author: Luckham, David C.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Anna )Computer program language(,، Ada )Computer program language(
Classification :
QA
76
.
73
.
A54L83
1990


171. Real time programming 1980: Proceedings of the IFAC/IFIP workshop, schloss Retzhof, Leibinitz, Austria, 14- 16 April 1980
Author: edited by V.H.Haase, ist ed
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Real- time data processing - congresses,، Electronic digital computers- programming- congresses,، Ada )computer program language( - congresses
Classification :
QA
76
.
54
.
R42
1980


172. Reference manual for the Ada programming Language. ANSI/MIL-STD 1815A- 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A16
.
R43
1983


173. Reliable software technologies
Author: Albert Llamosí, Alfred Strohmeier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses.,Computer software-- Reliability, Congresses.

174. Reliable software technologies :
Author: Alfred Strohmeier, Dirk Craeynest (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses
Classification :
QA76
.
73
.
A16
A23
2001


175. Reliable software technologies--Ada-Europe 2012
Author: Mats Brorsson, Luís Miguel Pinho (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
R44
A33
2012eb


176. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996


177. Reliable software technologies- Ada-Europe'97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997 : proceedings
Author: Keith Hardy, Jim Briggs )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1251


178. Reliable software technologies : Ada-Europe'96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Author: Alfred Strohmeier )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1088


179. Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings
Author: Michael Gonzalez Harbour, Juan A. de la Puente )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1622


180. Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings
Author: Lars Asplund )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1411

